Zwei Ausdrücke haben genau dann die gleiche logische Form, wenn der eine aus dem anderen durch Austausch (Substitution) seiner nicht-logischen Wörter durch andere nicht-logische Wörter zustande kommt. Der Austausch eines nicht-logischen Wortes muss universell, d. h. immer möglich sein und mit Hilfe von Wörtern der gleich...